221. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدیدآورنده : edited by R.E. Shostak
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
170
222. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدیدآورنده : edited by R.E. Shostak
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
170
223. 8th International Conference on Automated Deduction : Oxford, England, July 27 - August 1, 1986: Proceedings
پدیدآورنده : edited by Jorg H. Siekmann
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
230
224. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
پدیدآورنده : edited by Jorg H. Siekmann
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
230
